#include "ourhdr.h"

int main(void) {
    printf("hello world from process ID %d\n", getpid());
    exit(0);
}
